Fehlalarmfreie Abstraktion in ISO-C konformer Semantik
نویسندگان
چکیده
Viele Aussagen zum Programmverhalten sind in turingmächtigen Programmiersprachen unentscheidbar (Rice Theorem). Mittels Abstraktion vom Programmverhalten können nicht-turingmächtige Modelle automatisch erzeugt werden. Modelle in Form von symbolischen Kellersystemen (SPDS) erlauben eine so präzise Darstellung des Programmverhaltens, sodass eine ISO-C konforme Semantik möglich ist [RB12, KZR09]. Allerdings führen präzisere Darstellungen stets auch zu komplexeren und umfangreicheren Modellen. Dies erschwert Software-Modellprüfung, modellbasiertes Testen und Testdatenund Codegenerierung. Mehr Abstraktion führt hingegen zu kleineren Modellen, allerdings auch zu mehr Fehlalarmen. Ziel dieser Arbeit ist es, bezüglich temporaler Aussagen unwichtige Teile eines SPDS zu identifizieren und von diesen Teilen so zu abstrahieren, dass keine Fehlalarme entstehen.
منابع مشابه
Methoden der Metaprogrammierung zur Rekonfiguration von Software eingebetteter Systeme
Der Entwurf von Software für eingebettete Systeme wird sowohl durch die Systemumgebung als auch durch das System selbst stark beeinflusst. Beide Faktoren reduzieren die Wiederverwendbarkeit und die Erweiterbarkeit der Software in erheblichem Maße. Insbesondere können wirtschaftliche Überlegungen mitunter hohe Anforderungen an das Design stellen. Eine Lösung dieser Problematik kann nur mit klar ...
متن کاملEbenen der Abstraktion und ihre Abbildung auf konzeptionelle Modelle - oder: Anmerkungen zur Semantik von Spezialisierungs- und Instanziierungsbeziehungen
Die Analyse realweltlicher Domänen lässt mitunter eine Reihe verschiedener Abstraktionsmöglichkeiten erkennen. Deren Abbildung mit Hilfe gängiger Sprachen der konzeptionellen Modellierung führt teilweise zu erheblichen Problemen, die kaum thematisiert werden. So kann die scheinbar offenkundige Bedeutung von Spezialisierungsbeziehungen zu kontra-intuitiven Konsequenzen führen, die die Qualität v...
متن کاملSalton und Wittgenstein in den Humanities: Über die Semantik in Philosophischen Texten
In der Informatik wird die Semantik durch diskriminierende Terme beschrieben. Jedoch fehlen oftmals speziell in philosophischen Texten genau diese gewichtigen Terme. Ausgehend von der oft eingesetzten diskriminierenden Semantik wird am Problem der Sinnund Weisheitssprüche eine kontrastive Semantik vorgestellt. Die eingeführte Methode stellt ein Lessons Learnt aus dem eAQUA-Projekt [BHG08, HBB10...
متن کاملC&M-konformer Kurs und Living Document
In diesem Beitrag wird ein Ansatz zur systematischen Erstellung eines Lehrveranstaltungs-begleitenden Lernmaterials beschrieben, der seit einiger Zeit erfolgreich im Diplom-Informatik-Studiengang von der Forschungsgruppe Cooperation & Management (C&M) an der Universität Karlsruhe (TH) erprobt wurde. Beim C&Mkonformen Kurs handelt es sich um eine Form von Kursmaterial, das für den Lernenden in i...
متن کاملAnmerkungen zum Problem der Abstraktion
Die gegenwärtigen Herausforderungen der Gestaltung der MenschComputer-Interaktion sind mit den alten Modellen der Mensch-ComputerInteraktion nicht zu bewältigen. Der Bedarf nach Modellen begreifbarer, mobiler, pervasiver, ubiquitärer Interaktion für augmentierte oder gemischte Welten wächst. In diesem Positionspapier mache ich aus der Sicht der Tätigkeitstheorie Anmerkungen zum Problem der Abst...
متن کامل